import java.text.DecimalFormat;


public class Main {
	public static void main(String args[]){
		DecimalFormat df = new DecimalFormat("##.00");
		String s =df.format(12.55);
		System.out.println(s);
	}
}
